$\forall$$r$:$\mathbb{Q}$. ($\neg$($r$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ((1/$r$ $\ast$ $r$) = 1 $\in$ $\mathbb{Q}$)